Stone Algebra Extensions with Bounded Dense Set
نویسندگان
چکیده
Stone algebras have been characterized by Chen and Grätzer in terms of triples (B;D;'), whereD is a distributive lattice with 1; B is a Boolean algebra, and ' is a bounded lattice homomorphism from B into the lattice of lters of D: If D is bounded, the construction of these characterizing triples is much simpler, since the homomorphism ' can be replaced by one from B into D itself. The triple construction leads to natural embeddings of a Stone algebra into ones with bounded dense set. These embeddings correspond to a complete sublattice of the distributive lattice of lattice congruences of S. In addition, the largest embedding is a reector to the subcategory of Stone algebras with bounded dense sets and morphisms preserving the zero of the dense set.
منابع مشابه
A New Proof of the Construction Theorem for Stone Algebras
A simple proof is given of Chen's and Grätzer's theorem, which gives a method to construct a Stone algebra from a Boolean algebra and a distributive lattice with 1 by certain connective conditions between the two given lattices. C. C. Chen and G. Grätzer [1] proved originally the Construction Theorem for Stone algebras. In [3] we proved by different method the Construction Theorem for a larger ...
متن کاملCanonical Extensions of Stone and Double Stone Algebras: the Natural Way
A construction of canonical extensions of Stone algebras is presented that uses the natural duality based on the three-element generating algebra 3 rather than the Priestley duality based on 2 that is traditionally used to build the canonical extension. The new approach has the advantage that the canonical extension so constructed inherits its algebra structure pointwise from a power of the gen...
متن کاملJoint and Generalized Spectral Radius of Upper Triangular Matrices with Entries in a Unital Banach Algebra
In this paper, we discuss some properties of joint spectral {radius(jsr)} and generalized spectral radius(gsr) for a finite set of upper triangular matrices with entries in a Banach algebra and represent relation between geometric and joint/generalized spectral radius. Some of these are in scalar matrices, but some are different. For example for a bounded set of scalar matrices,$Sigma$, $r_*...
متن کاملUltrafilter Extensions for Coalgebras
This paper studies finitary modal logics as specification languages for Set-coalgebras (coalgebras on the category of sets) using Stone duality. It is wellknown that Set-coalgebras are not semantically adequate for finitary modal logics in the sense that bisimilarity does not in general coincide with logical equivalence. Stone-coalgebras (coalgebras over the category of Stone spaces), on the ot...
متن کاملA categorical equivalence for distributive Stonean residuated lattices
Stonean residuated lattices are closely related to Stone algebras since the bounded lattice reduct of a distributive Stonean residuated lattice is a Stone algebra. In the present work we follow the ideas presented by Chen and Grätzer and try to apply them for the case of Stonean residuated lattices. Given a Stonean residuated lattice, we consider the triple formed by its Boolean skeleton, its a...
متن کامل